ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
Submitted before 1st, April 2023
Submitted after 1st, April 2023
The International Arab Journal of Information Technology
(IAJIT)
Home
About IAJIT
Aims and Scopes
Current Issue
Archives
Submission
Indexing
Announcement
Contact Us
Home
/
Search for: the Islamia University of Bahawalpur
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Submitted before 1st, April 2023
Submitted after 1st, April 2023
Instructions to Reviewers
Review Paper
Statistics
Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems
Nadeem Akhtar1 and Saima Khan2 1Department of Computer Science and IT, the Islamia University of Bahawalpur, Pakistan 2Department of Computer Science Faculty of Computer Science and Information Technology, Virtual
#Flood monitoring; system-of-systems; behavioral modeling; formal verification; correctness; safety property
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint